Automatic Fault Localization for Programmable Logic Controllers
نویسندگان
چکیده
Programmable Logic Controllers (PLCs) are widely applied to control safety critical systems. Efficient formal and non-formal methods to detect faulty behavior have been developed, but finding the cause of the buggy behavior is often still a manual process. Automatic fault localization for PLCs is studied in this paper. Methods for automated debugging are analyzed and compared with respect to accuracy and run time. The experimental results on industrial models show a high accuracy at low run time costs.
منابع مشابه
A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملFault-tolerant configuration of distributed discrete controllers
This paper presents a fault tolerant configuration for a multiple discrete control system. The distributed control nodes, such as programmable logic controllers, communicate over networks. The design methodology of an additional redundant controller using Galois field and an error-detecting code is proposed. The proposed method is implemented and tested on distributed controllers connected on a...
متن کاملApplication of Fuzzy Controller for Automatic Diagnosis of Rotor Broken Bars in Industrial Induction Motors
This paper presents an online trained Fuzzy logic system based on FPGA to fault detection of broken rotor bar for squirrel cage induction motor. Fuzzy logic approach may help to diagnose induction motor faults in remote site and transmit fault diagnosis (via GSM\GPRS cellular network technology) to maintenance office or a programmed cell phone. The motor current signal is analyzed through the F...
متن کاملAn Exploratory Method for Effective Deployment of Programmable Logic Controllers (PLCs)
This paper presents a preliminary study of an approach that models programmable logic controllers (PLCs) for their effective deployment in industrial control processes. A working model is developed for automatic allocation of PLCs and also a formal verification of Ladder Diagram representations of control processes using the Symbolic Model Verifier (SMV) tool. Automatic resource allocation is a...
متن کاملMonitoring and Control of a Cooling System in a Commercial Store
This paper presents a case-study for the optimization, the monitoring and the automatic control of a refrigeration system in a commercial store. The existing controllers were replaced by Omron temperature controllers, connected to an industrial network and linked to a central computer for data monitoring and temperature control using a LabView software. In case of an alarm occurrence, this syst...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010